Logics for Concurrency: Structure versus Automata: 1043 (Lecture Notes in Computer Science)
by Faron Moller, Graham Birtwistle
ISBN 13: 9783540609155
Format: Paperback (284 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Asynchronous Digital Circuit Design (Workshops in Computing)
by Graham Birtwistle
ISBN 13: 9783540199014
Format: Paperback (276 pages) Publisher: Springer Published: 04 Oct 2013
"Iv Higher Order Workshop, Banff 1990": Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 (Workshops in Computing)
ISBN 13: 9783540196600
Format: Paperback (296 pages) Publisher: Springer Published: 04 Oct 2013
VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science): 35
ISBN 13: 9781461291978
Format: Paperback (420 pages) Publisher: Springer Published: 10 Nov 2013